1. An introduction to formal specification and Z
پدیدآورنده : Ben Potter, Jane Sinclair, David Till
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع : Computer software - Geotools,Z )Computer program language(
رده :
QA
76
.
76
.
D47